#!/bin/sh -e

./configure \
    --prefix=/usr \
    --localstatedir=/var/state/gmp \
    --enable-cxx \
    --enable-fat \
    --with-pic

make
make DESTDIR="$1" install
